From 4be567d8bed361b4557434d18a9b0e8ae186748a Mon Sep 17 00:00:00 2001
From: Andrew Innes <andrewi@gnu.org>
Date: Wed, 18 Dec 2002 23:53:01 +0000
Subject: [PATCH] *** empty log message ***

---
 lib-src/ChangeLog | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib-src/ChangeLog b/lib-src/ChangeLog
index 4f0c6a07002..be772d81835 100644
--- a/lib-src/ChangeLog
+++ b/lib-src/ChangeLog
@@ -1,3 +1,8 @@
+2002-12-18  Andrew Innes  <andrewi@gnu.org>
+
+	* makefile.w32-in ($(DOC)): Use -o and -a options to make-docfile,
+	because GNU make doesn't append when using >> redirection.
+
 2002-12-12  Jonathan Kamens  <jik@kamens.brookline.ma.us>
 
 	* b2m.pl: Make sure every message ends with a blank line, because
-- 
2.30.2